vmx: disable PML in vmx_vcpu_destroy
authorKai Huang <kai.huang@linux.intel.com>
Mon, 4 May 2015 10:17:43 +0000 (12:17 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 4 May 2015 10:17:43 +0000 (12:17 +0200)
commite18d4274772e52ac81fda1acb246d11ef666e5fe
treef24950266c69bb850173fe5b461750fd71e529ac
parentd0efa672dc7e36846444e1d208e1e21b7cd24c1d
vmx: disable PML in vmx_vcpu_destroy

It's possible domain still remains in log-dirty mode when it is about to be
destroyed, in which case we should manually disable PML for it.

Signed-off-by: Kai Huang <kai.huang@linux.intel.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Kevin Tian <kevin.tian@intel.com>
xen/arch/x86/hvm/vmx/vmx.c